Binding Application in Idris
andrevidela.com·9h·
Discuss: Hacker News
🔠Type-Level Programming
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
🤖Program Synthesis
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·10h·
Discuss: r/programming
🔬Static Analysis
C++: Maps on Chains
bannalia.blogspot.com·1h·
Discuss: Hacker News
➡️Category Theory
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·15h·
Discuss: Hacker News
🔬Static Analysis
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·1h·
Discuss: Hacker News
👁️System Observability
Galois field instructions on 2021 CPUs
corsix.org·21h·
Discuss: Hacker News
🐫Embedded OCaml
HMQ: Principal Type Inference Under a Prefix
microsoft.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
The Unreasonable Effectiveness of Recurrent Neural Networks
karpathy.github.io·1d·
Discuss: Hacker News
🔄Finite State Machines
Don’t compare programming to the real world
expressionstatement.com·19h·
Discuss: r/programming
👁️System Observability
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·18h·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·14h·
Discuss: Substack
🐫Embedded OCaml
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·15h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
GPU-accelerated Modeling of Biological Regulatory Networks
arxiv.org·2d
✓Automated Theorem Proving
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·4h
⚙️PL Implementation
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·10h·
Discuss: r/programming
🐫OCaml
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·10h·
Discuss: Hacker News
⚙️PL Implementation
Inheritance and Polymorphism in Plain C
coz.is·2d·
Discuss: Hacker News, r/C_Programming, r/programming
🔬Static Analysis
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·4h
🐫OCaml
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·16h·
Discuss: Hacker News
🔠Type-Level Programming